Tag
1 article
Terence Tao compares AI's impact on mathematics to the automobile's effect on cities, noting that while AI lowers the cost of idea generation, it shifts the bottleneck to verification. This transformation requires new infrastructure and methodologies.
